Graph Transformation Planning via Abstraction
نویسندگان
چکیده
منابع مشابه
Graph Transformation Planning via Abstraction
Modern software systems increasingly incorporate self-* behavior to adapt to changes in the environment at runtime. Such adaptations often involve reconfiguring the software architecture of the system. Many systems also need to manage their architecture themselves, i.e., they need a planning component to autonomously decide which reconfigurations to execute to reach a desired target configurati...
متن کاملGraph Abstraction and Abstract Graph Transformation
Many important systems like concurrent heap-manipulating programs, communication networks, or distributed algorithms are hard to verify due to their inherent dynamics and unboundedness. Graphs are an intuitive representation of states of these systems, where transitions can be conveniently described by graph transformation rules. We present a framework for the abstraction of graphs supporting a...
متن کاملAbstraction in Graph-Transformation Based Diagram Editors
ion in Graph-Transformation Based Diagram Editors Oliver Köth and Mark Minas 1 Lehrstuhl für Programmiersprachen, Universität Erlangen-Nürnberg, Martensstr. 3, 91058 Erlangen, Germany Abstract This extended abstract recalls how visual language editors benefit from graph grammars and how the editor-generator DiaGen is based on this approach. We then outline how generated editors can create abstr...
متن کاملSimplifying graph-based planning through abstraction
During the resolution of a planning problem the planner performs causal and resource reasoning. Causal reasoning refers to the generation of a sequence of actions (instantiated operators) which when executed in the initial state will result in the state of the world that contains the goals. Resource reasoning refers to the allocation of resources to the actions that form the plan in order to ob...
متن کاملGraph Transformation and AI Planning
This document provides insight to the similarities and differences of Graph Transformation and AI Planning, two rising research fields with different publication organs and tools. While graph transformation systems can be used as a graphical knowledge engineering front-end for designing planning problems, AI planning technology (especially heuristic search) can accelerate the exploration proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.159.7